1

Red-black trees with relative node keys

Year:
2014
Language:
english
File:
PDF, 330 KB
english, 2014
3

Weakest preconditions for progress

Year:
1992
Language:
english
File:
PDF, 1.71 MB
english, 1992
10

Operational semantics and generalized weakest preconditions

Year:
1994
Language:
english
File:
PDF, 1.11 MB
english, 1994
11

Some experience in distributed programming using shortest path spanning trees

Year:
1989
Language:
english
File:
PDF, 292 KB
english, 1989
13

Visual assessment of software evolution

Year:
2007
Language:
english
File:
PDF, 4.58 MB
english, 2007
15

Deadlock-free message routing in multicomputer networks

Year:
1989
Language:
english
File:
PDF, 803 KB
english, 1989